이항 연산

항이 두 개인 연산. 예: $a+b=c$, $a\times b=c$, where $a$, $b$, and $c$ are in the same set $S$.

$f:S\times S\to S$

이항 함수와 달리 두 피연산자 $a$, $b$와 결과 $c$ 모두 같은 집합에 속한 원소여야 한다.